more on this theme | more from this thinker | more from this text
Full Idea
Because predicate logic contrues identities dyadically, its account of inferences involving identity propositions needs laws or axioms of identity, explicitly asserting that the dyadic realtion in 'x=y' possesses symmetry, reflexivity and transitivity.
Clarification
'Dyadic' means two-place
Gist of Idea
Predicate logic has to spell out that its identity relation '=' is an equivalent relation
Source
Fred Sommers (Intellectual Autobiography [2005], 'Syllogistic')
Book Ref
'The Old New Logic', ed/tr. Oderberg,David S. [MIT 2005], p.14